Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
491	Numeric Bounds Analysis with Conflict-Driven Learning? Vijay D’Silva?? , Leopold Haller, Daniel Kroening, and Michael Tautschnig Computer Science Department, University of Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-07-25 13:39:19 Applied mathematics Electronic design automation Formal methods Logic in computer science NP-complete problems Valuation Boolean satisfiability problem Local consistency Abstract interpretation Theoretical computer science Constraint programming Mathematics
492	Unlocking the Power of Unstructured Data WHITE PAPER Sponsored by: IBM Global Headquarters: 5 Speen Street Framingham, MAUSA Add to Reading List Source URL: www-01.ibm.com Language: English - Date: 2014-11-20 11:27:30 Information science Data analysis Natural language processing Statistical natural language processing Formal sciences Analytics Unstructured data Text mining Text analytics Science Statistics Business intelligence
493	Intelligent Discovery Assistance for the Data Mining Process Add to Reading List Source URL: ebusiness.mit.edu Language: English - Date: 2012-11-08 09:59:22 Information Data analysis Information science Technical communication Formal sciences Data mining Ontology Knowledge discovery Heuristic Knowledge representation Science Artificial intelligence
494	AnaEE Infrastructure for Analysis and Experimentation on Ecosystems Grant Agreement Number: SEVENTH FRAMEWORK PROGRAMME C APACITIES Add to Reading List Source URL: www.anaee.com Language: English - Date: 2015-02-17 09:22:53 Formal sciences Earth sciences Data analysis Data mining Multivariate analysis Bioforsk Bioinformatics Biogeochemistry Science Statistics Knowledge
495	SPIED: Stanford Pattern-based Information Extraction and Diagnostics Sonal Gupta Christopher D. Manning Department of Computer Science Stanford University {sonal, manning}@cs.stanford.edu Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2014-06-26 22:01:01 Natural language processing Data analysis Data mining Formal sciences Information extraction Entity-relationship model Machine learning Biomedical text mining Named-entity recognition Science Computational linguistics Knowledge
496	 8    Parsing is the process of converting an unstructured input, such as a text file, into Add to Reading List Source URL: hop.perl.plover.com Language: English - Date: 2008-12-09 12:52:22 Compiler construction Formal languages Regular expressions Scripting languages Lexical analysis Parsing Lex Newline String Computing Software engineering Software
497	Harnessing Big Data to Find Fraud? First, Find the Data By Jaclyn Jaeger B ig data analytics holds big promise when it comes to helping companies identify fraud, even before Add to Reading List Source URL: www.audimation.com Language: English - Date: 2014-02-06 13:52:38 Business Formal sciences Computer-aided audit tools Information technology audit Analytics Data Analysis Techniques for Fraud Detection Web analytics Business intelligence Data analysis Statistics
498	Using Ontologies for resolution of Semantic Heterogeneity in GIS Farshad Hakimpour1 Sabine Timpf Geographic Information Analysis Division Department of Geography, University of Zurich Winterthurerstr. 190, CH-8057, Switz Add to Reading List Source URL: itcnt05.itc.nl Language: English - Date: 2005-02-02 17:00:00 Information science Data Semantic Web Knowledge representation Technical communication Formal ontology Semantic interoperability Upper ontology Ontology components Ontology Information Science
499	Paper presented at the Population Association of America 2011 Annual Meeting - Washington, DC. Session 125: Formal Demography I: Mathematical Models and Methods (Friday 1 April 2011, 12:30 PM - 2:20 PM) Latest revision 6 Add to Reading List Source URL: esa.un.org Language: English - Date: 2012-12-07 10:54:10 Mathematical analysis Statistics Mathematics Lee-Carter model Life table Life expectancy Logarithm Taylor series Actuarial science Population Demography
500	Security Analytics Project: Alternatives in Analysis Mark Ryan del Moral Talabis Secure-DNA Contents I. Add to Reading List Source URL: www.blackhat.com Language: English - Date: 2014-12-16 19:06:37 Data mining Formal sciences Computer network security Multivariate statistics Weka Client honeypot Honeypot Text mining Machine learning Statistics Science Data analysis

UPDATE